|
|
Third international conference on logic programming / Proceedings... ; ed. Ehud Shapiro
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
IX, 719 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Concurrency 88 / Proceedings of the International Conference... ; ed. F. H. Vogt
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
400 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer vision : ECCV'92 / Proceedings of European Conference... ; ed. G. Sandini
Monografia
Publication
Berlin : Springer-Verlag, 1992
Description
XV, 909 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Compiler compilers and high speed compilation / Proceedings of Workshop... ; ed. D. Hammer
Monografia
Publication
Berlin : Springer-Verlag, cop. 1989
Description
VI, 242 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematics of program construction / Proceedings of International Conference... ; ed. Johan Jeuring
Monografia
Publication
Berlin : Springer, 1998
Description
X, 382 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software technology and theoretical computer science / Proceedings of Eighth Conference... ; ed. K. V. Nori, S. Kumar
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
IX, 519 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Foundations on software technology and theoretical computer science / Proceedings of Fifth Conference... ; ed. S. N. Maheshwari
Monografia
Publication
Berlin : Springer-Verlag, cop. 1985
Description
IX, 521 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Mathematical foundations of computer science / Proceedings of Symposium... ; ed. A. Kreczmar, G. Mirkowska
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VIII, 605 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Mathematical foundations of computer science / Proceedings of the 13th Symposium... ; ed. M. P. Chytil, L. Janiga, V. Koubek
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
IX, 562 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science / Proceedings of the 12th Symposium... ; ed. J. Gruska, B. Rovan, J. Wiederman
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
IX, 650 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
VDM'87 : a formal method at work / Proceedings of the VDM Europe symposium ; ed. D. Bjorner... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
IX, 422 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in cryptology - AUSCRYPT'90 / Proceedings of the International Conference... ; ed. J. Seberry, J. Pieprzyk
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 462 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
CSL'87 / Proceedings of Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
VI, 346 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Electronic dictionaries and automata in computational linguistics / Proceedings of 15th spring school... ; ed. M. Gross, D. Perrin
Monografia
Publication
Berlin : Springer-Verlag, cop. 1989
Description
IV, 110 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Current trends in SNEPS semantic network processing system / Proceedings of Annual SNEPS Workshop ; ed. D. Kumar
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
162 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software engineering education / proceedings of CSEE '90 ; ed. Lionel E. Deimel
Monografia
Publication
New York : Springer-Verlag, 1990
Description
VI, 164 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1990 / Proceedings of the 15th Symposium... ; ed. B. Rovan
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VIII, 544 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer assisted learning / Proceedings of 3rd International Conference... ; D. H. Norrie, H. W. Six
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
VII, 466 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Functional programming languages and computer architecture / Proceedings of the fifth Conference... ; ed. J. Hughes
Monografia
Publication
Berlin : Springer-Verlag, cop. 1991
Description
VIII, 666 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Theoretical aspects of computer software / Proceedings of International Conference TACS'91 ; ed. T. Ito, A. R. Meyer
Monografia
Publication
Berlin : Springer-Verlag, 1991
Description
X, 770 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|